Re(dis)covering Leibniz's Diagrammatic Logic
نویسندگان
چکیده
منابع مشابه
Diagrammatic reasoning in logic programming
A refutation tree is a standard two-dimensional representation of resolution derivations. Given a logic program, a computation rule and a goal, diierent resolution derivations result from selecting diierent matching clauses in the program. These derivations can be visualized as separate branches in the refutation tree. This process can also be reversed: given an refutation tree where leaf nodes...
متن کاملDiagrammatic Reasoning in Separation Logic
Separation logic is used for reasoning about low-level imperative programs that manipulate pointer data structures. It enables the writing of concise proofs of correctness of the specifications of simple programs, and such proofs have been successfully automated. When reasoning informally about separation logic, it is often useful to draw diagrams representing program states, with memory locati...
متن کاملEuclid's diagrammatic logic and cognitive science
For more than two millennia, Euclid’s Elements set the standard for rigorous mathematical reasoning. The reasoning practice the text embodied is essentially diagrammatic, and this aspect of it has been captured formally in a logical system termed Eu [2, 3]. In this paper, we review empirical and theoretical works in mathematical cognition and the psychology of reasoning in the light of Eu. We a...
متن کاملRDF as Graph-Based, Diagrammatic Logic
The Resource Description Framework (RDF) is the basic standard for representing information in the Semantic Web. It is mainly designed to be machine-readable and -processable. This paper takes the opposite side of view: RDF is investigated as a logic system designed for the needs of humans. RDF is developed as a logic system based on mathematical graphs, i.e., as diagrammatic reasoning system. ...
متن کاملDiagrammatic logic applied to a parameterization process
This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logics. The definition of the 2-category of diagrammatic logics rely on category theory, mainly on adjunction, categories of fractions and limit sketches. This framework is applied to the formalization of a parameterizati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tópicos, Revista de Filosofía
سال: 2016
ISSN: 2007-8498,0188-6649
DOI: 10.21555/top.v0i52.760